step(bs,is,tm(s,[ctxm(xi_,sp,ip,ip_bs,ip_bs),ctxm(xi_,idp2,ip,ip_is,ip_is)],pri(lst,[pri(aenc,[pri(lst,[ctxm(xi_,u,i_idp2_ls,il2,il2),ctxm(xi_,dot,nI,ss(xi_,nn),ss(xi_,cn2))]),pri(pk,[ctxm(xi_,idp2,kM,kM_is,kM_is)])]),pri(lst,[pri(lst,[ctxm(xi_,u,i_sess,ss(xi_,i_sess),ss(xi_,i_sess)),ctxm(xi_,u,d_1,id_1,cd_1),ctxm(xi_,u,d_2,id_2,cd_2),ctxm(xi_,ls,i,i_ls,i_ls),pri(aenc,[pri(lst,[ctxm(xi_,u,i_idp1_ls,il1,il1),ctxm(xi_,dot,n,ss(xi_,n1),ss(xi_,cn1))]),pri(pk,[ctxm(xi_,ls,kM,kM_ls,kM_ls)])])]),pri(sig,[pri(lst,[ctxm(xi_,u,i_sess,ss(xi_,i_sess),ss(xi_,i_sess)),ctxm(xi_,u,d_1,id_1,cd_1),ctxm(xi_,u,d_2,id_2,cd_2),ctxm(xi_,ls,i,i_ls,i_ls),pri(aenc,[pri(lst,[ctxm(xi_,u,i_idp1_ls,il1,il1),ctxm(xi_,dot,n,ss(xi_,n1),ss(xi_,cn1))]),pri(pk,[ctxm(xi_,ls,kM,kM_ls,kM_ls)])])]),ctxm(xi_,idp1,kM,kM_ii,kM_ii)])])]))).
